Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
661	Efficient Turing-universal computation with DNA polymers (extended abstract) Lulu Qian, David Soloveichik, and Erik Winfree California Institute of Technology and University of Washington, Seattle Abstract. Bennett’s Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2010-05-18 15:35:54 Applied mathematics Computability theory Formal methods Chemical engineering Turing machine Chemical reaction DNA computing DNA Entropy Models of computation Chemistry Theoretical computer science
662	Computational Modeling vs. Computational Explanation: Is Everything a Turing Machine, and Does It Matter to the Philosophy of Mind? © Gualtiero Piccinini[removed]Abstract Add to Reading List Source URL: philsci-archive.pitt.edu Language: English - Date: 2010-10-07 11:12:58 Cybernetics Computability theory Theory of computation Computational complexity theory Computational theory of mind Computational resource A New Kind of Science Actor model Computability Science Applied mathematics Theoretical computer science
663	Computability Theory for Neuroscience by Doug Rubino Abstract Neuronal circuits are ubiquitously held to be the substrate of computation in the brain, information processing in single neurons is though of in terms of enc Add to Reading List Source URL: www.isn.ucsd.edu Language: English - Date: 2008-03-26 15:55:05 Automata theory Computer science Computability theory Turing machine Computability Dynamical system Büchi automaton Theory of computation Theoretical computer science Models of computation
664	A.S. Kechris PUBLICATIONS Books [1] Co-editor with D. A. Martin, Y. N. Moschovakis, and J. R. Steel, of the series: Cabal-Seminar 76–77, 77–79, 79–81, 81–85, Proc. Caltech-UCLA Logic Seminar, Lecture Note Series Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2014-12-26 15:50:36 Descriptive set theory Alexander S. Kechris Borel set Computability theory Set of uniqueness Suslin set Cabal Turing degree Determinacy Mathematical logic Set theory Mathematics
665	Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed] Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2014-09-30 21:01:03 Model theory Structure Universal algebra Computability theory Theory of computation Combinatorial species Symbol Interpretation Μ operator Mathematics Mathematical logic Logic
666	The weakest reasonable memory model by Matteo Frigo Laurea, Universit`a di Padova[removed]Dottorato di Ricerca, Universit`a di Padova (1996) Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:49 Computer science Applied mathematics Transaction processing Models of computation Formal methods Parallel computing Consistency model Algorithm Sequential consistency Computing Theoretical computer science Computability theory
667	Asia Pacific Mathematics Newsletter Beyond Turing: Hypercomputation and Quantum Morphogenesis Ignazio Licata 1. “Purely Mechanical” Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-08-01 02:03:02 Theory of computation Quantum mechanics Quantum information science Quantum measurement Computability theory Quantum computer Hypercomputation Church–Turing thesis Quantum information Theoretical computer science Physics Applied mathematics
668	An Approximation Algorithm for Continuous LMPs Alexandre Bouchard-Cˆot´e April 7, 2005 The goal of this presentation: examine the main topics of LMP theory and discuss their algorithmic contents. In particular, a rando Add to Reading List Source URL: www.stat.ubc.ca Language: English - Date: 2011-11-06 12:06:16 Mathematical logic Computability theory Hypergeometric functions Μ operator Linear temporal logic Mathematics Functions and mappings Function
669	arXiv:1310.3225v1 [quant-ph] 11 Oct 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-13 20:16:43 Turing machine Computability theory Models of computation Alan Turing Halting problem Computational complexity theory Computability Quantum computer Machine that always halts Theoretical computer science Applied mathematics Computer science
670	Alaska Seismic Hazards Safety Commission Add to Reading List Source URL: seismic.alaska.gov Language: English - Date: 2014-10-11 16:35:15 Indiana Computability theory Theory of computation Turing degree

UPDATE